$\forall$$a$:rationals. qless($a$; $a$) $\Rightarrow$ False